Inductive Definition